Formal verification

L'article "Formal verification" sur Wikipédia en anglais a 31.4 points pour la qualité (au 1 novembre 2023). L'article contient 22 références et 7 sections.

Dans cette version linguistique de Wikipédia, l'article est de la meilleure qualité. De plus, cet article est le plus populaire dans cette version linguistique.

En octobre 2023 l'article "Formal verification" a été édité par 3 auteurs sur Wikipédia en anglais et écrit par 5 auteurs dans toutes les langues.

Depuis la création de l'article "Formal verification", son contenu a été rédigé par 163 utilisateurs enregistrés de Wikipédia en anglais et édité par 342 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 276 fois dans Wikipédia en anglais et cité 713 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais): n° 14882 en avril 2004
• Mondial: n° 20053 en novembre 2003

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais): n° 101784 en septembre 2014
• Mondial: n° 149624 en septembre 2014

Il existe 19 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 novembre 2023 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Formal verification		31.4352
2	basque (eu) Egiaztapen formala (informatika)		26.4615
3	arabe (ar) التحقق الشكلي		21.7851
4	suédois (sv) Formell verifiering		21.4736
5	grec (el) Τυπική επαλήθευση		16.7359
6	italien (it) Verifica formale		14.8767
7	russe (ru) Формальная верификация		13.3645
8	japonais (ja) 形式的検証		13.348
9	espagnol (es) Verificación formal		12.4295
10	ukrainien (uk) Формальна верифікація		8.0367

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Formal verification" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal verification		1 070 776
2	russe (ru) Формальная верификация		123 578
3	japonais (ja) 形式的検証		73 722
4	chinois (zh) 形式验证		54 880
5	espagnol (es) Verificación formal		38 412
6	français (fr) Vérification formelle		33 437
7	hébreu (he) אימות תוכנה		20 846
8	portugais (pt) Verificação formal		15 772
9	polonais (pl) Weryfikacja formalna		15 607
10	ukrainien (uk) Формальна верифікація		12 366

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Formal verification" en octobre 2023

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal verification		5 424
2	russe (ru) Формальная верификация		464
3	chinois (zh) 形式验证		316
4	japonais (ja) 形式的検証		209
5	espagnol (es) Verificación formal		184
6	français (fr) Vérification formelle		109
7	italien (it) Verifica formale		51
8	hébreu (he) אימות תוכנה		37
9	anglais simple (simple) Formal verification		36
10	portugais (pt) Verificação formal		32

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Formal verification" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal verification		163
2	russe (ru) Формальная верификация		28
3	français (fr) Vérification formelle		25
4	hébreu (he) אימות תוכנה		22
5	chinois (zh) 形式验证		19
6	espagnol (es) Verificación formal		13
7	japonais (ja) 形式的検証		11
8	ukrainien (uk) Формальна верифікація		10
9	polonais (pl) Weryfikacja formalna		9
10	turc (tr) Program doğrulama		9

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Formal verification" présentant le plus grand intérêt des auteurs en octobre 2023

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal verification		3
2	tchèque (cs) Formální verifikace		1
3	russe (ru) Формальная верификация		1
4	arabe (ar) التحقق الشكلي		0
5	grec (el) Τυπική επαλήθευση		0
6	espagnol (es) Verificación formal		0
7	basque (eu) Egiaztapen formala (informatika)		0
8	persan (fa) درستی‌یابی صوری		0
9	français (fr) Vérification formelle		0
10	hébreu (he) אימות תוכנה		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Formal verification" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Formal verification		276
2	russe (ru) Формальная верификация		66
3	français (fr) Vérification formelle		52
4	hébreu (he) אימות תוכנה		51
5	japonais (ja) 形式的検証		50
6	ukrainien (uk) Формальна верифікація		42
7	portugais (pt) Verificação formal		34
8	chinois (zh) 形式验证		32
9	espagnol (es) Verificación formal		26
10	grec (el) Τυπική επαλήθευση		18

Plus...

#	Langue	Valeur
ar	arabe التحقق الشكلي
cs	tchèque Formální verifikace
el	grec Τυπική επαλήθευση
en	anglais Formal verification
es	espagnol Verificación formal
eu	basque Egiaztapen formala (informatika)
fa	persan درستی‌یابی صوری
fr	français Vérification formelle
he	hébreu אימות תוכנה
it	italien Verifica formale
ja	japonais 形式的検証
pl	polonais Weryfikacja formalna
pt	portugais Verificação formal
ru	russe Формальная верификация
simple	anglais simple Formal verification
sv	suédois Formell verifiering
tr	turc Program doğrulama
uk	ukrainien Формальна верифікація
zh	chinois 形式验证

Meilleur rang

anglais: n° 101784 09.2014

Mondial: n° 149624 09.2014

Meilleur rang

anglais: n° 14882 04.2004

Mondial: n° 20053 11.2003

Au 27 juillet 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Jeux olympiques d'été de 2024, Céline Dion, Jeux olympiques, Kamala Harris, syndrome de la personne raide, Deadpool and Wolverine, Jeux olympiques d'été de 2020, Aya Nakamura, Lady Gaga, Marie-Antoinette.

Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Deadpool & Wolverine, 2024 Summer Olympics, Celine Dion, Kamala Harris, List of Olympic Games host cities, Stiff-person syndrome, Katie Ledecky, Lady Gaga, Aya Nakamura, Simone Biles.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de novembre 2023. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de octobre 2023 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information